#ifndef _strengthen_h_INCLUDED
#define _strengthen_h_INCLUDED

#include <stdbool.h>

struct clause;
struct kissat;

struct clause*
kissat_mab_on_the_fly_strengthen(struct kissat*, struct clause*, unsigned lit);

void
kissat_mab_on_the_fly_subsume(struct kissat*, struct clause*, struct clause*);

bool
kissat_mab_strengthen_clause(struct kissat*, struct clause*, unsigned);

#endif
